|
In mathematics, Vopěnka's principle is a large cardinal axiom. The intuition behind the axiom is that the set-theoretical universe is so large that in every proper class, some members are similar to others, with this similarity formalized through elementary embeddings. Vopěnka's principle was first introduced by Petr Vopěnka and independently considered by Keisler, and was written up by . According to , Vopěnka's principle was originally intended as a joke: Vopěnka was apparently unenthusiastic about large cardinals and introduced his principle as a bogus large cardinal property, planning to show later that it was not consistent. However before publishing his inconsistency proof he found a flaw in it. ==Definition== Vopěnka's principle asserts that for every proper class of binary relations (each with set-sized domain), there is one elementarily embeddable into another. This cannot be stated as a single sentence of ZFC as it involves a quantification over classes. A cardinal κ is called a Vopěnka cardinal if it is inaccessible and Vopěnka's principle holds in the rank ''V''κ (allowing arbitrary ''S'' ⊂ ''V''κ as "classes"). Many equivalent formulations are possible. For example, Vopěnka's principle is equivalent to each of the following statements. * For every proper class of simple directed graphs, there are two members of the class with a homomorphism between them. * For any signature ''Σ'' and any proper class of ''Σ''-structures, there are two members of the class with an elementary embedding between them.〔〔 * For every predicate ''P'' and proper class ''S'' of ordinals, there is a non-trivial elementary embedding ''j'':(''V''κ, ∈, ''P'') → (Vλ, ∈, ''P'') for some κ and λ in ''S''.〔 * The category of ordinals cannot be fully embedded in the category of graphs.〔 * Every subfunctor of an accessible functor is accessible.〔 * (In a definable classes setting) For every natural number ''n'', there exists a ''C(n)''-extendible cardinal. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Vopěnka's principle」の詳細全文を読む スポンサード リンク
|